package com.google.code.securityflow

import ast.Parser
import cfg.FlowGraph
import datalog.Facts
import java.io.{FileReader, File}
import util.Logger

object Main {

  def main(args: Array[String]) {

    val parser = new Parser(new File(args(0)));
    val program = parser.parse();

    val flowGraph = FlowGraph.build(program);


    Logger.writeln(Facts.build(flowGraph));

    //val solver = new org.deri.iris.compiler.Parser();
    //solver.parse(new FileReader("src/datalog/rules.dat"));


  }

}